منابع مشابه
Performing in the aid circus.
The Special Inspector General for Afghanistan Reconstruction (SIGAR) charged with monitoring aid from the US Agency for International Development (USAID) reported in 2011 that more than US $73 billion had been appropriated for reconstruction and development in Afghanistan since 9/11 and up to US $17 billion in each of the last two years (SIGAR 2011). Inevitably questions about the effectiveness...
متن کاملSlotted-Circus : A Generic UTP framework for discretely-timed Circus
3 Slotted-Circus (Formal Definition) 10 3.1 Observational Variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.2 Required Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.2.1 Accepted and Refused Events and Equivalent Traces . . . . . . . . . . . . . 11 3.2.2 Null Slots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...
متن کاملSpecifying Confidentiality in Circus
This paper presents an approach for extending the Circus formalism to accommodate information flow security concerns. Working with the semantics of Circus, we introduce a notation for specifying which aspects of Circus processes are confidential and should not be revealed to low-level users. We also describe a novel procedure for verifying that a process satisfies its confidentiality properties.
متن کاملIsabelle/Circus
The Circus specification language combines elements for complex data and behavior specifications, using an integration of Z and CSP with a refinement calculus. Its semantics is based on Hoare and He’s unifying theories of programming (UTP). Isabelle/Circus is a formalization of the UTP and the Circus language in Isabelle/HOL. It contains proof rules and tactic support that allows for proofs of ...
متن کاملPredicate transformers in the semantics of Circus
Circus is a combination of Z and CSP; its chief distinguishing feature is the inclusion of the ideas of the refinement calculus. Our main objective is the definition of refinement methods for concurrent programs. The original semantic model for Circus is Hoare and He’s unifying theories of programming. In this paper, we present an equivalent semantics based on predicate transformers. With this ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Locus Amoenus
سال: 2004
ISSN: 2014-8798,1135-9722
DOI: 10.5565/rev/locus.136